O-minimal Analytic Separation of Sets in Dimension 2
نویسنده
چکیده
We study the Hardy field associated with an o-minimal expansion of the real numbers. If the set of analytic germs is dense in the Hardy field, then we can definably analytic separate sets in R2, and we can definably analytic approximate definable continuous unary functions.
منابع مشابه
Introduction to O-minimal Structures and an Application to Neural Network Learning
1. Definition of o-minimality and first examples 1 2. Basic real analysis and the monotonicity theorem 4 3. Definable Skolem functions and elimination of imaginaries 8 4. Dimension, part 1 10 5. Cell decomposition 11 6. Dimension, part 2 15 7. Restricted analytic functions and global exponentiation 17 8. NIP and neural networks 20 8.1. Vapnik-Chervonenkis dimension 20 8.2. O-minimal structures ...
متن کاملSeparation of Global Semianalytic Subsets of 2-dimensional Analytic Manifolds
In this paper we prove that two global semianalytic subsets of a real analytic manifold of dimension two are separable if and only if there is no analytic component of the Zariski closure of the boundary which intersects the interior of one of the two sets and they are separable in a neighbourhood of each singular point of the boundary. We show also that, unlike in the algebraic case, the obstr...
متن کاملGeneralized Counterexamples to the Seifert Conjecture
Using the theory of plugs and the self-insertion construction due to the second author, we prove that a foliation of any codimension of any manifold can be modified in a real analytic or piecewise-linear fashion so that all minimal sets have codimension 1. In particular, the 3-sphere S has a real analytic dynamical system such that all limit sets are 2-dimensional. We also prove that a 1-dimens...
متن کاملTame topology over dp-minimal structures
In this paper we develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable sets, definable functions are almost everywhere continuous, and definable sets are finite unions of graphs of definable continuous “multi-valued f...
متن کاملTopological properties of sets definable in weakly o-minimal structures
The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, group actions and fields definable in the weakly o-minimal context. We prove that the topological dimension of a set definable in a weakly o-minimal structure is invariant under definable injective maps, strengthening an a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 157 شماره
صفحات -
تاریخ انتشار 2009